
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 OpenAI   իր ապացույցների փորձերը փետրվարի 14-ին  -ի համար, որը մարտահավերություն է կազմակերպվել 11 առաջատար մաթեմատիկոսների կողմից Հարվարդի, Եյլի, Սթենֆորդի և MIT-ի նման ուսումնական հաստատություններից։ հրապարակել է First Proof Մարտահավերությունը 10 չհրապարակված, հետազոտական մակարդակի մաթեմատիկական խնդիրների հավաքածու է, որոնք հատուկ մշակված են այնպես, որ արհեստական ​​ինտելեկտի (AI) մոդելները չեն կարող տեսած լինել։ Նպատակն է հասկանալ, թե արդյոք AI-ն իսկապես   խնդիրը լուծելիս, թե հնարավոր է  , թե ինչպես լուծել արդեն հայտնի մաթեմատիկական խնդիր։ մտածում է հիշում Դժվարին քննության արդյունքները խառն էին, բայց ուշագրավ։ Փորձագետների կարծիքների հիման վրա OpenAI-ը կարծում է, որ իր մոդելների ապացույցների փորձերից առնվազն հինգը (խնդիրներ 4, 5, 6, 9 և 10) ունեն բարձր հավանականություն, որ ճիշտ լինեն, իսկ մի քանի այլ խնդիրներ դեռևս քննարկման փուլում են։ Գլխավոր գիտնական Յակուբ Պախոցկին ավելի ուշ թարմացրել է այդ թիվը վեցով՝ գրելով. «Փորձագետների կարծիքների հիման վրա մենք կարծում ենք, որ առնվազն վեց լուծում (2, 4, 5, 6, 9, 10) ունեն բարձր հավանականություն, որ ճիշտ են, և որոշ այլ լուծումներ ևս խոստումնալից են»։ Նա  , որ փորձը «կողմնակի վազք էր, որն իրականացվել էր մեկ շաբաթում, հիմնականում մեր կողմից մարզվող մոդելներից մեկին հարցնելով», ընդունելով, որ «մեր կիրառած մեթոդաբանությունը շատ բան է թողնում ցանկալու»։ հավելել է https://x.com/merettm/status/2022517085193277874?s=20&embedable=true Մաթեմատիկոսները, սակայն, արդեն հայտնաբերել են պոտենցիալ բացեր առնվազն մեկ այդ վեցից, և վերջնական վճիռը կախված կլինի պաշտոնական գործընկերային վերանայումից։ Գործընկերային վերանայման համար որևէ կոնկրետ ժամանակացույց հրապարակայնորեն չի հայտարարվել։ Փորձը եղել է մեկ շաբաթ տևողությամբ վազքի արդյունք, որի ընթացքում OpenAI-ի վերջին ներքին մոդելները աշխատել են համապատասխան ոլորտներում մասնագիտացած մարդ մաթեմատիկոսների հետ։ Կարևոր է, որ First Proof-ի կանոնները պահանջում են, որ բոլոր մաթեմատիկական գաղափարները լինեն ինքնաբերաբար AI-ից. մարդկային ներդրումը մաթեմատիկական բովանդակության համար հստակ արգելված է, ինչը փորձագետների հետ համագործակցությունը դարձնում է քննարկման առարկա։ Self-First Proof թիմը պարզել է, որ առանց սահմանափակումների, AI համակարգերը, ներառյալ GPT 5.2 Pro-ն և Gemini 3.0 Deepthink-ը, վստահորեն արտադրել են բոլոր 10 խնդիրների ապացույցները, սակայն փորձագիտական ​​վերանայման ընթացքում միայն երկուսն են դիմակայել։ Այս ջանքը մաս է կազմում OpenAI-ի ավելի լայն հետաքրքրության գիտական ​​և թվաբանական ​​մտածողության ոլորտում։ 2025 թվականի հուլիսին նրա մոդելներից մեկը ոսկե մեդալ է նվաճել  ՝ 35 միավոր 42-ից։ Միջազգային մաթեմատիկական օլիմպիադայում Ավելի վերջերս GPT-5.2-ը օգնել է հետազոտողներին լուծել վիճակագրության մեջ բաց տեսական խնդիր, որտեղ մարդու դերը սահմանափակվել է ստուգմամբ և գրառումներով, այլ ոչ թե մաթեմատիկական հենարանով։ Ի՞նչ է First Proof-ը։ First Proof-ը 11 հետազոտող մաթեմատիկոսների կողմից ստեղծված գործիք է, այդ թվում՝ Հարվարդի, Եյլի, Կոլումբիայի և EPFL-ի Ֆիլդսյան մրցանակի հետ կապված անուններով, որպեսզի ստուգվի, թե արդյոք AI-ն կարող է ինքնուրույն լուծել այնպիսի խնդիրներ, որոնք բնականաբար առաջանում են ակադեմիական հետազոտություններում։ Ի տարբերություն մրցութային մաթեմատիկայի (մտածեք օլիմպիադայի խնդիրների մասին՝ մաքուր թվաբանական պատասխաններով), սրանք լեմմաներ են. ավելի փոքր, տեխնիկական ապացույցներ, որոնց մաթեմատիկոսները հանդիպում են ավելի մեծ արդյունքների վրա աշխատելիս։ Խնդիրները ընդգրկում են այնպիսի ոլորտներ, ինչպիսիք են հանրահաշվական տոպոլոգիան, սպեկտրալ գրաֆների տեսությունը, սիմպլեկտիկ երկրաչափությունը և թվային գծային հանրահաշիվը։ Կարևոր է, որ ոչ մի լուծում չէր հրապարակվել առցանց մինչ մարտահավերությունը, ինչը կանխում էր AI ուսուցման տվյալների աղտոտման ցանկացած հնարավորություն։ Լուծումները գաղտնագրվել և թողարկվել են փետրվարի 13-ին, մասնակիցներին տալով ճիշտ մեկ շաբաթ՝ ապացույցները լուծելու համար։ Մարտահավերությունը իր անունը ստացել է հացաթխման փոխաբերությունից. առաջին ապացույցը խմորի զանգվածային խմորումն է, առաջին քայլը, նախքան որևէ բան վերջնական արտադրանքի վերածելը։ First Proof-ից դասը այն չէ, որ AI-ն ձախողվեց։ Այն է, որ «մաթեմատիկական խնդիրը լուծելու» համար սահմանը զգալիորեն բարձրացել է։ 
 
 Խուան Պաբլո Ագիրե Օսորիո, Լրագրող, The Sociable

This story contains new, firsthand information uncovered by the writer.

Follow us on Twitter 

Read My Stories

Այս աուդիոն պատրաստվել է պատմության բնօրինակ լեզվով:

OpenAI-ն առաջ է մղում նյարդային ցանցերը` մինչև առաջադեմ մաթեմատիկայի սահմանները

About Author

ՄԵԿՆԱԲԱՆՈՒԹՅՈՒՆՆԵՐ

ԿԱԽՎԵԼ ՏԵԳՍԵՐ

ԱՅՍ ՀՈԴՎԱԾԸ ՆԵՐԿԱՅԱՑՎԵԼ Է Մ

Related Stories

How HyperCycle Is Building the Internet for AI: A Deep Dive with Toufi Saliba

Toufi Saliba: The Architect Behind HyperCycle's Decentralized Network of AI

What is Hyperthreading and How Do You Enable It?

Building AI Sales Roleplay Systems That Actually Work

How HyperCycle Is Building the Internet for AI: A Deep Dive with Toufi Saliba

Toufi Saliba: The Architect Behind HyperCycle's Decentralized Network of AI

What is Hyperthreading and How Do You Enable It?

Building AI Sales Roleplay Systems That Actually Work

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps